$\vdash$  $\forall$$x$,$y$:$\mathbb{Z}$. ($\uparrow$$x$ $<$z $y$) $\Leftarrow\!\Rightarrow$ ($x$ $<$ $y$)